21. Embedded software :first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : Development Congresses ، Computer software
22. Embedded software for SoC
پدیدآورنده : / edited by Ahmed Amine Jerraya ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer software- Development Congresses,Operating systems (Computers) Congresses,Embedded computer systems- Programming Congresses
رده :
QA76
.
76
.
D47
,
E46
2003
23. Embedded software for SoC
پدیدآورنده : / edited by Ahmed Amine Jerraya ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer software- Development Congresses,Operating systems (Computers) Congresses,Embedded computer systems- Programming Congresses
رده :
QA76
.
76
.
D47
,
E46
2003
24. Embedded software : second International conference, EMSOFT 2002, Grenoble, France, October 2002 : proceedings
پدیدآورنده : Alberto Sangiovanni-Vincentelli, Joseph Sifakis )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Programming -- Congresses ، Embedded computer systems
رده :
QA
76
.
L28
Vol
.
2491
25. Embedded software : third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings
پدیدآورنده : Rajeev Alur, Insup Lee )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Programming -- Congresses ، Embedded computer systems
رده :
QA
76
.
L28
Vol
.
2855
26. Experience with the management of software projects, 1989 : proceedings of the Third IFAC/IFIP Workshop, Indiana, USA, 30 October- 1 November, 1989
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Computer software- Development- Management- Congresses
27. Experience with the management of software projects 1992: proceedings of the fourth IFAC/IFIP work shop, Schloss Seggau, Austria 18-20 May 1992
پدیدآورنده : Edited by P. Elzer and V. Haase
موضوع : Computer software-Development-Management-congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
28. Extreme programming and agile methodes - XP/ Agile Universe 2004 : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004 : proceedings
پدیدآورنده : Carman Zannier, Hakan Erdogmus, Lowell Lindstorm ) eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Development -- Congresses ، Computer software,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
3134
29. Extreme programming and agile methods : XP/Agile Universe 2002 : second XP Universe and first Agile Universe Conference, Chicago, IL, USA, August 4-7, 2002 : proceedings
پدیدآورنده : Don Wells, Laurie Williams )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
2418
30. Extreme programming and agile methods : XP/Agile Universe 2003 : third XP Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003 : proceedings
پدیدآورنده : Frank Maurer, Don Wells )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
2753
31. Extreme programming and agile processes in software engineering : 6th International Conference, XP 2005, Sheffield, UK , June 18-23, 2005; proceedings
پدیدآورنده : Hubert Baumeister, Michele Marchesi, Mike Holcombe )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
3556
32. Extreme programming and agile processes in software engineering : 5th international conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004 : proceedings
پدیدآورنده : Jutta Eckstein, Hubert Baumeister )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
3092
33. Extreme programming and agile processes in software engineering : 4th international conference, XP 2003, genova, Italy, May 25-29, 2003 : proceedings
پدیدآورنده : Michele Marchesi, Giancarlo Succi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، eXtreme programming
رده :
QA
76
.
L28
Vol
.
2675
34. FM 2012
پدیدآورنده : Dimitra Giannakopoulou, Dominique Méry (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
I593
2012eb
35. FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
پدیدآورنده : John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Congresses ، System design
رده :
QA
76
.
L28
Vol
.
3582
36. FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
پدیدآورنده : Jeannette M. Wing, Jim Woodcock, Jim Davies )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Application software -- Development
رده :
QA
76
.
L28
Vol
.
1708-1709
37. FME 2002 :
پدیدآورنده : Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2002
38. FME 2003 :
پدیدآورنده : Keijiro Araki, Stefania Gnesi, Dino Mandrioli
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2003
39. FME'96 : Industrial benefit of formal methods : Thrid International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings
پدیدآورنده : Marie-Claude Gaudel, James Woodcock )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1051
40. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
پدیدآورنده : Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
2805
